منابع مشابه
A Note on Critical Independence Reductions
A criterion is specified for identifying graphs with nonempty critical independent sets. A polynomial-time algorithm is given for finding them and, thus, reducing the problem of finding a maximum independent set (MIS) in such a graph to finding a MIS in a proper subgraph. This algorithm can be extended to identify maximum cardinality critical independent sets, answering a question of Butenko an...
متن کاملA Note on Manning Reductions and Navigation
controlled ? Pilotage is obviously impractical and should be unnecessary. The masters concerned know the area all too well, but they do not know so much about routing or radio control. Nor are they always particularly amenable to instruction or advice when they get it, for the control system would have to be extended to such crafts as fishing boats, whose present habits in congested waters leav...
متن کاملA note on reductions between compressed sensing guarantees
In compressed sensing, one wishes to acquire an approximately sparse high-dimensional signal x ∈ R via m n noisy linear measurements, then later approximately recover x given only those measurement outcomes. Various guarantees have been studied in terms of the notion of approximation in recovery, and some isolated folklore results are known stating that some forms of recovery are stronger than ...
متن کاملA Note on Declarative Programming Paradigms and the Future of Definitional Programming
We discuss some approaches to declarative programming including functional programming, various logic programming languages and extensions, and definitional programming. In particular we discuss the programmers need and possibilities to influence the control part of programs. We also discuss some problems of the definitional programming language GCLA and try to find directions for future resear...
متن کاملDefinitional and human constraints on parsing performance
The first issue relates to the inherent nature of a language, or of whichever aspect of its structure an annotation scheme represents. The second relates to the human ability to be explicit about the properties of a language. To give an analogy: if we aimed to measure the size (volume) of individual clouds in the sky, one limitation we would face is that the fuzziness of a cloud makes its size ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1968
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093893348